Positivstellensätze for semirings
نویسندگان
چکیده
Abstract In this paper we develop a number of results and notions concerning Positivstellensätze for semirings (preprimes) commutative unital real algebras. First reduce the Archimedean Positivstellensatz to corresponding result quadratic modules. Various applications are investigated. A general with denominators is proved filtered algebras semirings. As an application derive denominator-free cylindrical extension algebra semiring. large illustrating examples given.
منابع مشابه
Tropical Semirings
It is a well-known fact that the boolean calculus is one of the mathematical foundations of electronic computers. This explains the important role of the boolean semiring in computer science. The aim of this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our ...
متن کاملCircuit Evaluation for Finite Semirings
The computational complexity of the circuit evaluation problem for finite semirings is considered, where semirings are not assumed to have an additive or multiplicative identity. The following dichotomy is shown: If a finite semiring is such that (i) the multiplicative semigroup is solvable and (ii) it does not contain a subsemiring with an additive identity 0 and a multiplicative identity 1 6=...
متن کاملInternal axioms for domain semirings
We investigate modal algebras that arise by adding operations of domain and antidomain to semirings and Kleene algebras. Let (S,+, ·, 0, 1) be a noncommutative and additively idempotent semiring with natural order defined as x ≤ y ⇔ x + y = x. Such semirings have many computational models, e.g., binary relations under union and relative product, languages, paths in graphs or program traces unde...
متن کاملSemirings for Social Networks Analysis
In the paper four semirings for solving social networks problems are constructed. The closures of the matrix of a given signed graph over balance and cluster semirings can be used to decide whether the graph is balanced or clusterable. The closure of relational matrix over geodetic semiring contains for every pair of vertices and the length and the number of geodesics; and for geosetic semiring...
متن کاملSemirings for temporal network analysis
In the article, we describe a new algebraic approach to the temporal network analysis based on the notion of temporal quantities. We define the semiring for computing the foremost journey and the traveling semirings for the analysis of temporal networks where the latency is given, the waiting times are arbitrary, and some other information on the links are known. We use the operations in the tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2023
ISSN: ['1432-1807', '0025-5831']
DOI: https://doi.org/10.1007/s00208-023-02656-0